中文 English 收藏本站
科学研究 / 学术论文 / 期刊论文
当前位置： 首页  科学研究  学术论文  期刊论文  Journal,before 2008

Journal,before 2008

时间：2019-07-14      分类：期刊论文

    • 2007年
    1. 黄沛杰、王文成、杨刚、吴恩华：基于中介面加快光线跟踪计算，计算机学报，Vol.30，No.2，PP. 262-271
    2. 李静、王文成、吴恩华：基于凸剖分的多边形窗口线裁剪算法，计算机辅助设计与图形学学报，Vol.19，No.4，PP. 425-429
    3. 杨刚、孙汉秋、王文成、吴恩华：采用非均匀纹理层的短毛实时绘制，计算机辅助设计与图形学学报，Vol.19，No.4，PP. 430-435
    4. 李静、王文成、吴恩华：基于凸剖分的点在多边形内的高效判定，自然科学进展，Vol.17，No.7，PP. 995-1000
    5. Hao-Da huang、Xin Tong、Wen-Cheng Wang：Accelerated Parallel Texture Optimization，Jouranal of Computer Science and Technology，Vol.22，No.5，PP. 761-769
    6. Jing Li、Wencheng Wang、Enhua Wu：Point-in-polygon Tests by Convex Decomposition，Computers & Graphics，Vol.37，PP. 636-648
    7. Jiang Ying，Zhang Guo-Qiang：Weakly Distributive Domains，Frot. Comput.Sci. China，Vol.1，No.4，PP. 373-384
    8. Mingji Xia、Peng Zhang、Wenbo Zhao：Computational Complexity of Counting Problems on 3-Regular Planar Graphs，Theoretical Computer Science，Vol384，PP. 111-125
    9. 高鹰、陈意云：基于抽象解释的代码迷惑有效性比较框架，计算机学报，Vol.30，No.5，PP. 806-814
    10. Peng Zhang：A New Approximation Algorithm for the K-facility Location Problem，Theoretical Computer Science，Vol.384，PP. 126-135
    11. 吕毅、王源、李晓林：服务网格的用户3A使用模式，电子学报，Vol.35，No.2，PP. 292-298
    12. 王向云、张文辉、王鹏、李永超、蔡开元：一种基于监控理论的软件设计方法：状态性质变化方法，控制理论与应用，Vol.24，No.2，PP. 187-199
    13. Pu Fei、Zhang Wenhui：Combining Search Space Partition and Abstraction for LTL Model Checking，Science in China F: Information Sciences，Vol.50，No.6，PP. 793-810
    14. Zhilin Wu：A Not on the Characterization of Tl[EF]，Information Processing Letters，Vol.102，PP. 48-54
    15. 吴志林、张文辉：命题线性时序逻辑的对偶模型问题的复杂性，Journal of Software，Vol.18，No.7，PP. 1573-1581
    16. Xiangyun Wang、Wenhui Zhang、Yongchao Li、Kaiyuan Cai：A Polynomial Dynamic System Approach to Software Design for Attractivity Requirement，Information Sciences，Vol.177，PP. 2712-2725
    17. 夏传良、焦莉、陆维明：Petri网共享PP-型子网合成性质分析，Vol.18，No.1，PP. 22-32
    18. 夏传良：Petri网共享T型子网合成活性分析，系统仿真学报，Vol.19，增刊，PP. 4-8
    19. 夏传良：Petri网共享PB型子网合成及其在系统设计中的应用，系统仿真学报，Vol.19，No.4，PP. 846-851
    20. 焦莉、陆维明：基于共享位置的petri网系统综合与保性，计算机学报，Vol.30，No.3，PP. 352-360
    21. Zhou Chaochen：Duration Calculus，Logics of Specification Languages，PP. 609-611
    22. 朱雪阳：双重软件体系结构描述框架XYZ/ADL，计算机研究与发展，Vol.44，No.9，PP. 1485-1494
    23. Yuan Feng、Runyao Duan、Zhengfeng Ji、Mingsheng Ying：Probabilistic Bisimulations for Quantum Processes，Information and Computation，Vol.205，PP. 1608-1639
    24. 吕伟伟、刘学慧、薛盖超、吴恩华：基于圆盘近似的动态场景柔和阴影实时绘制，计算机辅助设计与图形学学报，Vol.19，No.12，PP. 1587-1592
    25. Haiming Chen、Rudolf Freund、Mihai Ionescu、Gheorghe Paun、Mario J. Perez-Jimenez：On String Languages Generated by Spiking Neural P Systems，Fundamenta Informaticae，Vol.75，PP. 141-162
    26. Chen Haiming、Tseren-Onolt Ishdorj、Gheorghe Paun：Computing along the Axon，Progress in Natural Science，Vol.17，No.4，PP. 417-423
    27. 季晓慧、张健：约束问题求解，自动化学报，Vol.33，No.2，PP. 125-131
    28. 陈云霁、张健、沈海华、胡伟武：一种基于SAT的运算电路查错方法，计算机学报，Vol.30，No.12，PP. 2082-2089
    29. Enhua Wu、Hongbin Zhu、Xuehui Liu、Youquan Liu：Simulation and Interaction of Fluid Dynamics，Visual Comput.，Vol.23，PP. 299-308
    30. Xiaoying Li、Baoquan Liu、Enhua Wu：Full Solid Angle Panoramic Viewing by Depth Image Warping on Field Programmable Gate #Array，The International Journal of Virtual Reality，Vol.6，No.2，PP. 69-77
    31. 刘保权、刘学慧、吴恩华：基于GPU的实时深度图像前向映射绘制算法，软件学报，Vol.6，No.18，PP. 1531-1542
    32. 古元亭、吴恩华：一种纹理特征分析与合成的方法，计算机辅助设计与图形学学报，Vol.19，No.12，PP. 1535-1539
    33. 刘迎、刘学慧、吴恩华：基于模版的三角网格拓扑压缩，计算机辅助设计与图形学学报，Vol.19，No.6，PP. 703-707
    34. 张勇、黄涛、陈宁江、金蓓弘：基于在线模型评估的动态WEB系统性能保障，Journal of Software，Vol.18，No.7，PP. 1660-1671
    35. Zhang Yunquan、Chen Guoliang、Sun Guangzhong、Miao Qiankun：Models of Parallel Computation: A Survey and Classification，Front. Comput. Sci. China，Vol.1，No.2，PP. 156-165
    36. 张云泉：新一代高性能计算系统Benchmark软件包框架研究，高性能计算技术，Vol.184，No.2，PP. 11-16
    37. 陈虎、张云泉、刘锴、李玉成：基于机群架构的并行数据库中间件系统改进研究，计算机研究与发展， Vol.44，PP. 142-146
    38. 李洋、陈宁江、金蓓弘、左林、黄涛：一个基于自管理单元支持差分服务的Web容器，计算机研究与发展，Vol.44，No.8，PP. 1418-1428
    39. 胡剑军、官荷卿、魏峻、黄涛：一种基于性能模型的中间件自配置框架，软件学报，Vol.19，No.8，PP. 2117-2129
    40. 孙亮、赵芳、王永吉：DENGENE:一种高精度的基于密度的适用于基因表达数据的聚类算法，计算机应用研究，Vol.24，No.4，PP. 58-61
    41. Nasro Min-Allah、Wang Yongji、Jian-Sheng Xing、Wasif Nisar、Asad-Raza Kazmi：Towards Dynamic Voltage Scaling in Real-Time #Systems-A Survery，International Journal of Computer Science and Engineering Systems，Vol.2，No.1，PP. 93-103
    42. 余方、李娟、王晓程、王永吉：功能点分析方法研究，计算机科学，Vol.34，No.11，PP. 245-251
    43. 陈伟、薛云志、赵琛、李明树：一种基于时间自动机的实时系统测试方法，软件学报，Vol.18，No.1，PP. 62-73
    44. 李明树、何梅、杨达、舒风笛、王青：软件成本估算方法及应用，软件学报，Vol.18，No.4，PP. 775-795
    45. 舒风笛、赵玉柱、王继喆、李明树：个性化领域知识支持的用户主导需求获取方法，计算机研究与发展，Vol.44，No.6，PP. 1044-1052
    • 2006年
    1. 晏荣杰，李广元，徐雨波，刘春明：有限精度时间自动机的可达性检测，软件学报，Vol17.No.1 p.p.1-10
    2. 夏传良，焦莉，陆维明：Petri网精细化操作及其在系统设计中的应用，软件学报，Vol17.No.1 p.p.11-19
    3. Zhang Wei，Liu Hengchang，Zhao Baohua，Qu Yugui：Power Consumption Model in Two-tiered Wireless Sensor Networks，Chinese Journal of Electronics, Vol15.No.1 p.p.160-165
    4. Heng-Chang，Zhao Baohua, A Near-Optimal Optimization Algorithm for Link Assignment in Wireless Ad-Hoc Networks，Journal of Computer Science and Technology, Vol21.No.1 p.p.89-94
    5. 赵保华, 张炜, 刘恒昌, 屈玉贵: 无线传感器网络中的组划分算法, 计算机学报, Vol29.No.1 p.p.161-165
    6. 李胜，冀俊峰，刘学慧，吴恩华：超大规模地形场景的高性能漫游，软件学报，Vol17.No.3 p.p.535-545
    7. 柳有权，刘学慧，吴恩华：基于GPU带有复杂边界的三维实时流体模拟，软件学报，Vol17.No.3 p.p. 568-576
    8. 杨刚，孙汉秋，王文成，吴恩华：基于GPU真实感毛发绘制，软件学报，Vol17.No.3 p.p. 577-586
    9. 朱雪阳，唐稚松：Statecharts的组合语义与求精，软件学报，Vol17.No.4 p.p. 670-681
    10. 王文成，魏峰，吴恩华：绘制大规模场景的可见性计算技术，计算机辅助设计与图形学学报，Vol18.No.2 p.p.181-188
    11. 刘保权，吴恩华，刘学慧：基于GPU的交互式动态折射绘制算法，计算机辅助设计与图形学学报，Vol18.No.11 p.p. 1652-1657
    12. 冀俊峰, 李胜，刘学慧，吴恩华：细节高度复杂表面模型的视点相关渐进传输，软件学报，Vol17.No.10 p.p. 2192-2199
    13. 王文成，魏峰，吴恩华：View Dependent Sequential Point Trees，Journal of Computer Science and Technology，Vol21.No.2 p.p. 181-188
    14. 朱红斌，刘学慧，柳有权，吴恩华：Simulation of Miscible Binary Mixtures Based on Lattice Boltzmann Method，Computer Animation & Virtual Worlds，Vol17.No.3-4 p.p. 403-411
    15. 孙春娟，王文成，李静，吴恩华：基于凸片段分解的多边形窗口线裁剪算法，计算机辅助设计与图形学学报，Vol18.No.12 p.p. 1799-1805
    16. 魏峰, 王文成, 吴恩华：体数据可视化的线绘制视频，计算机学报，Vol19.No.12 p.p. 2086-2095
    17. 焦莉，T. Y. Cheung：Compositional Verification for Workflow Nets，Journal of Circuits, Systems and Computers，Vol15.No.4 p.p. 551-570
    18. 凌波，吴永辉：xml模式中隐式冗余不存在的充分条件，计算机研究与发展，增刊.No.43. p.p. 407-412
    19. 吴端仪，陈雷，陈海明：上下文无关文法的句子生成方法综述，计算机科学，增刊.No.33. p.p. 63-67
    20. Gilles Dowek，蒋颖：Eigenvariables, bracketing and the decidability of positive minimal predicate logic，Theoretical Computer Science，p.p. 193-208
    21. 董韫美：CFL 句子计数和分层词典序枚举，中国科学 E辑 信息科学，Vol36.No.12 p.p. 1375-1413
    22. 张文辉：Structure of proofs and the complexity of cut elimination，Theoretical Computer Science，p.p. 63-70
    23. 易锦，张文辉：从基于迁移的扩展Buchi自动机到Buchi自动机，Journal of Software，Vol17.No.4 p.p. 720-728
    24. 王一平，王文成，吴恩华：块纹理合成的优化计算，计算机辅助设计与图形学学报，Vol18.No.10 p.p. 1502-1507
    25. 王文成, 李奎宇，吴恩华：Stick Textures for image-based rendering，Graphical Models，p.p. 294-306
    26. 吴艳，王文成，吴恩华：三维面模型的几何压缩技术综述，计算机科学，Vol33.No.3 p.p.1-6
    27. 陈海明，董韫美：Facilitating formal specification acquisition by using recursive functions on context-free languages，Knowledge-Based SYSTEMS，p.p.141-151
    28. 魏峰, 王文成，吴恩华：快速高精度的可见面选择，Journal of Software，Vol17.No.10 p.p. 2199-2210
    29. 朱红斌，刘学慧，柳有权，吴恩华：基于Lattice Boltzmann模型的液-液混合流模拟，计算机学报，Vol29.No.12 p.p.2071-2079
    30. 潘宏，林惠民，吕毅：Model Checking Data Consistency for Cache Coherence Protocols，JCST，Vol21.No.5 p.p. 765-775
    31. 徐贵红，张健：基于约束的主动规则终止性分析，计算机研究与发展，Vol43.No.5 p.p. 894-900
    32. 季晓慧，张健：一种求解混合约束问题的快速完备算法，计算机研究与发展，Vol43.No.3 p.p. 551-556
    33. 吴萍，陈意云，张健：多线程程序数据竞争的静态检测，计算机研究与发展，Vol43.No.2 p.p. 329-335
    34. 黄蒙,舒风笛,李明树, “一种风险驱动的迭代开发需求优先级排序方法”,软件学报,2006,Vol.17, No.12: 2450-2460
    35. 武占春,王青,李明树, “一种基于PDCA的软件过程控制与改进模型”,软件学报,2006,Vol.17, No.8: 1669-1680
    36. Mingshu Li,Barry W.Boehm,Leon J. Osterweil, “Unifying the Software Process Spectrum”,软件学报,2006,Vol.17, No.4: 649-657
    37. 赵欣培,李明树,陈振冲,王青, “一种基于协商的软件过程协同方法”,计算机研究与发展,2006,Vol.43, No.2: 314-320
    38. 李娟,袁峰,李明树,王青, “一种基于模型融合的CMM实施过程建模方法”,计算机学报,2006,Vol.19, No.1: 54-65
    39. 陈 靖,张云泉,张林波,袁伟：一种新的MPI Allgather算法及其在万亿次机群系统上的实现与性能分析，计算机学报,Vol.29,No.5. pp.808-814
    40. 张勇、黄涛、魏峻、陈宁江.：基于容器中间件的组件系统体系结构性能评价，软件学报，Vol.17,No.6.PP1328-1337
    41. 张文博、陈宁江、魏峻、黄涛: QoS获益驱动的中间件调度框架研究,软件学报, Vol.17,No.6 P1381-1390
    42. 官荷卿、张文博、魏峻、黄涛: 一种应用敏感的Web服务请求调度策略,计算机学报,Vol.29,No.7 P1189-1198
    43. 黄涛、丁晓宁、魏峻: 基于应用语义的网构软件松弛事务模型研究,《中国科学》（E辑信息科学）, Vol.36,No.10 P1170-1188
    44. 陈宁江、魏峻、杨波、黄涛: Web应用服务器的适应性失效检测,软件学报, Vol.16,No.11, P1929-1938
    45. Huang Tao,Ding Xiaoning, Wei jun:An application-semantics-based relaxed transaction model for internetware, Science in China SeriesF—Information Sciences, Vol.49,No.6 P774-791
    46. Carl G. Gockusch Jr., Angsheng Li： Restricted jump interpolation in the d.c.e. degrees, Mathematical Structures in Computer Science (2006), Vol. 16, pp 841 –865
    47. 刘军祥，王永吉，王源，邢建生，曾海涛：基于逻辑”或”约束优化的实时系统设计，软件学报，Vol. 17，No.7，2006，pp. 1641-1649．
    48. 薛云志，陈伟，王永吉，赵琛，王青，一种基于Messy GA的结构测试数据自动生成方法，软件学报，Vol. 17，No. 8，2006，pp. 1688-1697
    49. 童杰，王永吉，基因电路研究综述，小型微型计算机系统，Vol. 27，No. 6，2006，pp. 1129-1133
    50. 陈秋萍，吴立国，王永吉，基于JSF的网格门户设计与实现，计算机工程与设计，Vol. 27，No. 19，2006，pp. 3511-3514
    • 2005年
    1. H.J.Huang， 焦莉， T.Y.Cheung：Property-preserving Subnet Reductions for Designing Manufacturing Systems with Shared Resources，Theoretical Computer Science ，2005，Vol.332 ，No.1-3， p.p. 461-485
    2. 季晓慧，张健: 求解布尔与非线性数值约束相混合的约束问题， 软件学报， 2005， Vol.16 ， No.5 p.p. 659-668
    3. 吴鹏， 施小纯， 唐江峻， 林惠民: 关于蜕变测试和特殊用例测试的实例研究， 软件学报，2005， Vol.7 ，No.16， p.p. 1210-1220
    4. 吴鹏: Analyzing Interoperability of Protocols Using Model Checking， Chinese Journal of Electronics， Vol.14，No.3， p.p. 453-457
    5. 李韶华，张健：Survey Propagation:一种求解SAT的高效算法，计算机科学，Vol.32 ，No.1， p.p. 132-137
    6. 翟洁，邵志清：基于Tecton的验证系统Violet，华东理工大学学报，Vol.31，No.2， p.p. 198-202
    7. 程华，邵志清，房一泉：Internet流量的多重分形分析，通信学报，Vol.25，No.1， p.p. 27-30
    8. 关涛，邵志清，李庆超，吴庆涛：基于DNA序列切片重组技术的信息加密算法，计算机工程，Vol.31，No.4， p.p. 152-154
    9. 朱雪阳，唐稚松：UML活动图的时序逻辑语义，计算机研究与发展，Vol.42，No.9， p.p. 1478-1484
    10. 李石君，欧伟杰，简伟，黄河：基于有限状态自动机提取不规范表结构Web信息，武汉大学（工学版），2005.6
    11. 王文成，李静，吴恩华: 2D Point-in-polygon test by classifying edges into layers， COMPUTERS & GRAPHICS， Vol.26， p.p. 427-439
    12. 郭力真，费广正，王文成，吴恩华: 结合纹理特征的模型简化误差度量算子， 计算机学报， Vol.28，No.28， p.p. 1055-1061
    13. 魏峰，王文成，吴恩华: 结合可见性处理的顺序点模型树， 计算机学报， Vol.28，No.28， p.p. 950-958
    14. 柳有权，王文成，吴恩华:快速真实地生成树的自然摇曳，.计算机学报 Vol.28，No.28， p.p. 1185-1191
    15. 王海洋，蔡康颖，王文成，吴恩华: 外存模型简化中数据读取及内存分配的优化， 计算机辅助设计与图形学学报，Vol.17，No.8， p.p. 1736-1743
    16. 焦莉， hejiao huang， to-yat cheung: Property-Preserving Composition by Place Merging， Journal of Circuits，Systems，And Computers， Vol.14，No.4， p.p. 793-812
    17. 焦莉， to-yat cheung，陆维明: Handling Synchronization Problem in Petri Net-Based System Design by Property-Preserving Transition-Reduction， The Computer Journal， Vol.48，No.6， p.p. 642-701
    18. li liang 马华东，李广元: Formal Specification and Model-Checking of CSMA/CA Using Finite Precision Timed Automata， The Journal of China Universities of Posts and Telecommunications， Vol.12，No.3， p.p. 33-38
    19. 柳有权，朱宏斌，刘学慧，吴恩华：real time simulation of physically based on-surface flow， the visual computer international journal of computer graphics ，Vol.10，No.8， p.p. 727-734
    20. 柳有权，刘学慧，朱宏斌，吴恩华：基于物理的流体模拟动画综述，计算机辅助设计与图形学学报，Vol.10，No.12，
    21. 吴金钟，刘学慧，吴恩华：超量外存地表模型的实时绘制技术研究，计算机辅助设计与图形学学报，Vol.10，No.12，
    22. 黄拙，张健：由一阶逻辑公式得到命题逻辑可满足性问题实例，软件学报， Vol.16， No.3 p.p. 327-335
    23. 吴萍，陈意云，张健：并发Java程序同步操作的有效删除，软件学报，Vol.16， No.10 p.p. 1708-1716
    24. 季晓慧，黄拙，张健：约束求解与优化技术的结合，计算机学报，Vol.28， No.11 p.p. 1790-1797
    25. 冷小羽，张健：基于ActiveX Scripting 技术的测试软件开发，计算机工程与设计，Vol.26，No.2， p.p. 488-494
    26. 张健，黄拙：Reducing Symmetries to Generate Easier SAT Instances，Electronic Notes in Theoretical Computer Science，Vol.125，No.3， p.p. 149-151
    27. 林惠民：A Predicate μ-Calculus for Mobile Ambients，JCST，Vol.20，No.1，p.p. 95-104
    28. 张国强，蒋颖：On an open problem of Amadio and Curien: The finite antichain condition，Information and Computation， p.p. 87-103
    29. 沈扬，陈海明：基于上下文依赖规则覆盖的句子生成，计算机工程与应用，Vol.41，No.17， p.p. 96-100
    30. 陈坚，王文成，吴恩华：单目视频中无标记的人体运动跟踪，计算机辅助设计与图形学学报，Vol.17，No.9， p.p. 2033-2039
    31. 王文成，孙汉秋，吴恩华：Projective volume rendering by exculding occluded voxels，International Journal of Image and Graphics，Vol.5，No.2， p.p. 413-431
    32. 张文辉：模态逻辑与模型检测，中国计算机学会通讯，Vol.2，No.1， p.p. 22-26
    33. 吴志林：Quasi-star-free languagaes on infinite words，Acta Cybernetica，Vol.17，No.1， p.p. 75-93
    34. 杨刚，王文成，吴恩华：基于边界图的纹理合成方法，计算机研究与发展，Vol.42，No.12， p.p. 2118-2125
    35. 陈坚，吴恩华：单目视频中人体三维运动的迭代优化估计，计算机辅助设计与图形学学报，Vol17，No.7， p.p. 1523-1528
    36. 李勇坚：contextual labelled semantics for higher-order process calculi，ENTCS， p.p. 61-77
    37. 吕欣岩，赵保华， 周颢：一种动态协议一致性测试方法，中国科学技术大学学报，Vol35，No.3， p.p. 396-403
    38. 郭雄辉，赵保华，钱兰：被动测试中的错误诊断算法，中国科学技术大学学报，Vol35，No.3， p.p. 385-391
    39. 柯尧，赵保华，屈玉贵：基于组件系统的可靠性分析，中国科学技术大学学报，Vol28，No.6， p.p. 115-119
    40. 卢武昌，胡山立：基于神经网络的Agent电子商务协商模型，计算机应用，Vol25，No.7， p.p. 1638-1650
    41. 肖美华，薛锦云：Moleling and Verifying Cryptographic Protocols Using SPIN/Promela，International Journal of Computer & Information Science，Vol6，No.1， p.p. 1-12
    42. 郑宇君，石海鹤，薛锦云：Spec#语言中的形式化特性，计算机科学，Vol32，No.8， p.p. 135-139
    43. 郑宇君，王连来，薛锦云: 面向装备联勤保障的约束程序设计框架， 南京大学学报， Vol41， p.p. 30-34
    44. 唐渊，孙家昶，张云泉：集群网络评测模型的新探索，软件学报，Vol16，No.6 p.p.1131-1139
    45. 袁伟，张云泉，孙家昶：国产万亿次机群系统NPB性能测试分析，计算机研究与发展，Vol42，No.6, p.p. 1079-1084
    46. 赫然，王永吉，王青：一种改进的自适应逃逸微粒群算法及试验分析，软件学报,Vol16，No.12,p.p. 2036-2044
    47. 丁丽萍，王永吉：计算机取证的相关法律技术问题研究，软件学报，Vol16，No. 2,p.p.260-275
    48. 张晓刚，李明树：基于工作流的知识流建模与控制，软件学报，Vol16，No. 2,p.p. 184-193
    49. 邢建生，刘军祥，王永吉：RM及其扩展可调度性判定算法的性能分析，计算机研究与发展，Vol42，No.11,p.p. 2025-2032
    50. 李娟，李明树，武占春：基于SPEM的CMM软件过程元模型，软件学报，Vol16，No.18,p.p. 1366-1377
    51. 廖渊，怀晓永，李明树：QuCOM：一种面向构件系统的QoS管理模型，计算机研究与发展，Vol42，No.10,p.p. 1802-1808
    52. 张晓钢,李明树, “基于工作流的知识流建模与控制”,软件学报,2005,Vol.16, No.2: 184-193
    53. Li Mingshu, “Expanding the Horizons of Software Development Processes: A 3-D Integrated Methodology”, Software Process Workshop 2005: 54-67
    54. 王晓曦，王永吉，周津慧：基于改进网络模型的大时滞网络拥塞控制算法，电子学报，Vol33，No.5,p.p. 842-846
    55. 廖渊，唐磊，李明树：一种基于Qos的服务构件组合方法，计算机学报，Vol28，No.4,p.p. 627-634
    56. 陈宁江，魏俊，杨波，黄涛：web应用服务器的适应性失效检测，软件学报，Vol16.No.11 p.p.1929-1938
    57. 王永吉, Matthew Cartmell, Qiuming Tao, Han Liu, A Generalized Real-Time Obstacle Avoidance Method without the Cspace Calculation, Journal of Computer Science and Technology (JCST),Vol. 20, No.6, 2005, pp. 774-787.
    58. Chenyong Hu, Benyu Zhang, 王永吉, Zheng Chen, Qing Wang, Qiang Yang： Learning quantifiable associations via Principal Sparse Non-negative Matrix Factorization, International Journal Intelligent Data Analysis, 2005, pp. 603-620.
    59. 刘军祥，王永吉，M. Cartmell，一种改进的RM可调度性判定算法，软件学报，Vol. 16，No. 1，2005，pp. 89-100
    60. 丁丽萍，王永吉，计算机取证研究综述，通讯和计算机(Journal of Communication and Computer)，Vol. 2，No. 8，2005，pp. 1-9

Copyright © 2019-2021 计算机科学国家重点实验室 All Rights Reserved. 京ICP备05046678号-1